00001	ANSWER.NEW+MATCH.NEW ARE ALWAYS PART OD PROVER
00059	MAR 16 IS PROVE1.NEW+SUBST1.NEW
00060	MAR 15 IS PROVE1.NEW+DEPLNG.MAX+AUTOUP.NEW
00061	MAR13 IS PROVE2+DEPLNG.MAX
00062	ADD OUTIT.NEW+UNITRES.NEW
00063	FEB16 PROVE1.NEW|NEGATE.NEW+BUILTED.NEW
00064	FEB15 IS PROVE1.NEW
00065	 WHERE IS MAOKVAR????
00070	JAN 30 SETQUERY.NEW+PREDIC.LSP(FIX ON >PREDIC<)+AUTO.XXX+BUILTIN.NEW+UPDATE.NEW
00080	DEC 4 --ADD PAR.NEW